Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
111	Decision-Driven Models with Probabilistic Soft Logic Stephen H. Bach Matthias Broecheler Stanley Kok Lise Getoor Department of Computer Science University of Maryland, College Park College Park, MD 20742, USA Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:09 Statistics Probability Probability theory Mathematical analysis Statistical models Statistical classification Machine learning Histopathology Prostate cancer Bayesian probability Stochastic process Probability distribution
112	Positive Higher-Order Queries Michael Benedikt Oxford University Computing Laboratory Parks Road, Oxford, UK Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:05 Logic Model theory Mathematics Mathematical logic Conjunctive query Structure First-order logic Substitution Relational algebra FO Interpretation Satisfiability
113	International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:50 Logic Ontology Mathematical logic Mathematics Mereology Upper ontology First-order logic Formal ontology S Equivalence relation Problem of universals Binary relation
114	Dualities in logic and geometry The Weyl-Heisenberg algebra Calculations Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2014-08-13 10:47:43 Theoretical physics Physics Mathematics Mathematical physics Quantum gravity Duality Noncommutative geometry Mathematical formulation of quantum mechanics Hermann Weyl Model theory Heisenberg group Mathematical logic
115	CS4003: Approach CS4003: Formal Methods Andrew Butterfield1 1 Foundations Add to Reading List Source URL: www.scss.tcd.ie Language: English - Date: 2014-12-22 10:26:21 Logic Mathematical logic Mathematics Predicate logic Semantics Quantification Model theory Mathematical notation First-order logic FO Free variables and bound variables Quantifier
116	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
117	Microsoft Word - Outstanding Application Award 2013 Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2012-10-29 04:52:47 Fuzzy logic Logic Mathematical logic Academia Fuzzy Sets and Systems Fuzzy set Fuzzy control system
118	COMP-201: Discrete Computational Structures (Fall 2008 Syllabus) Instructor: Y¨ucel Yemez, Rm: Eng-139, Email: , Phone: , Office hours: Tuesday/Thursday 14:30-15:30. Teaching Assistants: Add to Reading List Source URL: atakangunal.com Language: English - Date: 2014-10-22 13:26:07 Logic Mathematical logic Mathematics Boolean algebra Classical logic Propositional calculus Discrete mathematics Algorithm Academic dishonesty
119	LNCSA Standard Framework for Timetabling Problems Add to Reading List Source URL: stefan.buettcher.org Language: English - Date: 2006-04-07 00:52:14 Constraint programming Mathematical optimization Artificial intelligence Theoretical computer science Applied mathematics Constraint logic programming NP-hard problems Operations research Genetic algorithm Nurse scheduling problem Constrained optimization
120	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-01-24 20:37:43 Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution FO Constructible universe Normal distribution

UPDATE